current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
['symbolic.pro'].
['printmessages.pro'].
['rules.pro'].

findall((P,R),protoknow(P,R,_),LST),list_to_set(LST,SET),print(SET).


